package sketch.specs;

import org.eclipse.jdt.core.dom.CompilationUnit;

import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;

public class SketchTestProcessorTest extends TestCase {

	public static Test suite() {
		return new TestSuite(SketchTestProcessorTest.class);
	}
	
	public void testExpansion() {
		System.out.println("Expanding only have replaces...");
		String testFilePath = "./testfiles/sketch/specs/annotation/ClassUseRepTest.java";
		SketchTestProcessor sketchProcessor = new SketchTestProcessor(testFilePath);
		CompilationUnit unit = sketchProcessor.getProcessedCompilationUnit();
		System.out.println(unit);
	}
	
	public void testExpansionWithAuxilaryMethods() {
		System.out.println("Expanding sketch with auxiliary methods...");
		String testFilePath = "./testfiles/sketch/specs/SketchExampleWithAuxiliaryMethods.java";
		SketchTestProcessor sketchProcessor = new SketchTestProcessor(testFilePath);
		CompilationUnit unit = sketchProcessor.getProcessedCompilationUnit();
		System.out.println(unit);
	}
}
